Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
261	Private and Secure Public-Key Distance Bounding Application to NFC Payment — Short Paper Serge Vaudenay EPFL CH-1015 Lausanne, Switzerland http://lasec.epfl.ch Add to Reading List Source URL: fc15.ifca.ai Language: English - Date: 2015-01-11 00:32:58 Cryptography Computational complexity theory Distance-bounding protocol Public-key cryptography Complexity classes Proof of knowledge IP Challengeresponse authentication NP Digital signature Security parameter Negligible function
262	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof
263	eBay in the Sky: Strategy-Proof Wireless Spectrum Auctions Xia Zhou, Sorabh Gandhi, Subhash Suri and Haitao Zheng Department of Computer Science University of California, Santa Barbara, CA, USA Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2012-05-03 01:03:05 Auction theory Auctions Game theory Auction Spectrum auction VickreyClarkeGroves auction Multiunit auction Bidding Shop at Bid First-price sealed-bid auction
264	Signatures and Efficient Proofs on Committed Graphs and NP-Statements Thomas Groß School of Computing Science, Newcastle University, UK No Institute Given Add to Reading List Source URL: fc15.ifca.ai Language: English - Date: 2015-01-11 00:33:09 Graph coloring Graph Graph theory Signed graph Zero-knowledge proof Line graph Neighbourhood Petersen graph Eulerian path
265	THE TRIANGLE-FREE PROCESS AND R(3, k) GONZALO FIZ PONTIVEROS, SIMON GRIFFITHS, AND ROBERT MORRIS Abstract. The areas of Ramsey Theory and Random Graphs have been closely linked every since Erd˝ os’ famous proof in 194 Add to Reading List Source URL: w3.impa.br Language: English - Date: 2013-02-25 19:39:15
266	Logic and Proof Set Theory Real Numbers Add to Reading List Source URL: www.matthew-hoelle.com Language: English - Date: 2016-02-18 17:07:27
267	Quantum-proof   randomness extractors   via operator space theory Mario Berta, Omar Fawzi, Volkher B. Scholz based on arXiv: Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2015-03-03 00:22:49
268	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
269	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof

UPDATE